Multi-level hierarchical interface-based supervisory control
نویسندگان
چکیده
منابع مشابه
Multi-level hierarchical interface-based supervisory control
Hierarchical Interface-Based Supervisory Control employs interfaces that allow properties of a monolithic system to be verified through local analysis. By avoiding the need to verify properties globally, significant computational savings can be achieved. In this paper we provide local requirements for a multi-level architecture employing command-pair type interfaces. This multilevel architectur...
متن کاملHierarchical Interface - based Supervisory Control
In this thesis we present a hierarchical method that decomposes a system into a high level subsystem which communicates with n ≥ 1 parallel low level subsystems through separate interfaces, which restrict the interaction of the subsystems. We first define the setting for the serial case (n = 1), and then generalise it for n ≥ 1. We present a definition for an interface, and define a set of inte...
متن کاملHierarchical Interface - based Supervisory Control : Bi - level Systems
In this report we present a hierarchical method that decomposes a system into a high level subsystem which communicates with n ≥ 1 parallel low level subsystems through separate interfaces, which restrict the interaction of the subsystems. We first define the setting for the serial case (n = 1), and then generalise it for n ≥ 1. We present a definition for an interface, and define a set of inte...
متن کاملDecentralized Control Using the Hierarchical Interface-based Supervisory Control Approach
The Hierarchical Interface-Based Supervisory Control (HISC) framework was proposed to address challenges inherent in modeling the behavior of large, complex systems. Such systems are often characterized by decentralized or distributed architectures, where agents have only a partial view of the system behavior and cooperate to achieve the control objective, aspects unsupported by HISC. We introd...
متن کاملHierarchical interface-based supervisory control using the conflict preorder
Hierarchical Interface-Based Supervisory Control decomposes a large discrete event system into subsystems linked to each other by interfaces, facilitating the design of complex systems and the re-use of components. By ensuring that each subsystem satisfies its interface consistency conditions locally, it can be ensured that the complete system is controllable and nonblocking. The interface cons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2010
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2010.04.002